Formal Methods and Software Engineering. - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
- Författare
- (Yi Li and Sofiène Tahar, editors.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2024 | Singapore, Singapore | 1 online resource (319 pages) |